121![Verification Using SAT and SMT Solvers1 N. Shankar Computer Science Laboratory SRI International Menlo Park, CA Verification Using SAT and SMT Solvers1 N. Shankar Computer Science Laboratory SRI International Menlo Park, CA](https://www.pdfsearch.io/img/6bbdd28df67461d59cbd8eb5538b2756.jpg) | Add to Reading ListSource URL: dream.inf.ed.ac.ukLanguage: English - Date: 2010-08-25 09:00:40
|
---|
122![Revive: Rebalancing Off-Blockchain Payment Networks Rami Khalil Arthur Gervais Department of Computer Science Revive: Rebalancing Off-Blockchain Payment Networks Rami Khalil Arthur Gervais Department of Computer Science](https://www.pdfsearch.io/img/2c146d1f98f1da3b50bd5a05763e4b40.jpg) | Add to Reading ListSource URL: eprint.iacr.orgLanguage: English - Date: 2017-08-29 11:32:54
|
---|
123![Meteoritics & Planetary Science 40, Nr 6, 817–Abstract available online at http://meteoritics.org Earth Impact Effects Program: A Web-based computer program for calculating the regional environmental consequ Meteoritics & Planetary Science 40, Nr 6, 817–Abstract available online at http://meteoritics.org Earth Impact Effects Program: A Web-based computer program for calculating the regional environmental consequ](https://www.pdfsearch.io/img/a4a78d2792469a36fbb11b79d70ee100.jpg) | Add to Reading ListSource URL: www.purdue.eduLanguage: English - Date: 2012-08-02 09:20:54
|
---|
124![master thesis in computer science by Maria A Schett submitted to the Faculty of Mathematics, Computer Science and Physics of the University of Innsbruck master thesis in computer science by Maria A Schett submitted to the Faculty of Mathematics, Computer Science and Physics of the University of Innsbruck](https://www.pdfsearch.io/img/187622ec2e00ad5d7db12625d62898ec.jpg) | Add to Reading ListSource URL: www.maria-a-schett.netLanguage: English - Date: 2016-12-11 09:15:03
|
---|
125![Power Signatures of High-Performance Computing Workloads Jacob Combs, Jolie Nazor, Rachelle Thysell, Fabian Santiago, Matthew Hardwick, Lowell Olson, Suzanne Rivoire Department of Computer Science Sonoma State University Power Signatures of High-Performance Computing Workloads Jacob Combs, Jolie Nazor, Rachelle Thysell, Fabian Santiago, Matthew Hardwick, Lowell Olson, Suzanne Rivoire Department of Computer Science Sonoma State University](https://www.pdfsearch.io/img/3f1ff977d37fe0766974a15c508f09ef.jpg) | Add to Reading ListSource URL: rivoire.cs.sonoma.eduLanguage: English - Date: 2017-05-29 18:44:27
|
---|
126![Organising Monkeys or How to Run a Hacking Club Andreea-Ina Radu, Sam L. Thomas School of Computer Science University of Birmingham Email: {A.I.Radu, S.L.Thomas}@cs.bham.ac.uk Abstract—We describe the organisation of t Organising Monkeys or How to Run a Hacking Club Andreea-Ina Radu, Sam L. Thomas School of Computer Science University of Birmingham Email: {A.I.Radu, S.L.Thomas}@cs.bham.ac.uk Abstract—We describe the organisation of t](https://www.pdfsearch.io/img/de54818d57ba49d3be0d04313a1ac569.jpg) | Add to Reading ListSource URL: afnom.netLanguage: English - Date: 2018-10-16 09:54:50
|
---|
127![Informational Substitutes Definitions and Design Yiling Chen and Bo Waggoner Harvard Computer Science July 2016 Informational Substitutes Definitions and Design Yiling Chen and Bo Waggoner Harvard Computer Science July 2016](https://www.pdfsearch.io/img/85de141ac30ed9d8abc40d2657abb42c.jpg) | Add to Reading ListSource URL: www.bowaggoner.comLanguage: English - Date: 2017-07-12 06:16:57
|
---|
128![Logical Methods in Computer Science Vol. 10(1:, pp. 1–29 www.lmcs-online.org Submitted Published Logical Methods in Computer Science Vol. 10(1:, pp. 1–29 www.lmcs-online.org Submitted Published](https://www.pdfsearch.io/img/128fa065afc41d48ed776488d46ed993.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2015-04-14 06:30:14
|
---|
129![Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives N. Basseta , M. Kwiatkowskaa,∗, C. Wiltschea a Department of Computer Science, University of Oxford, United Kingdom Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives N. Basseta , M. Kwiatkowskaa,∗, C. Wiltschea a Department of Computer Science, University of Oxford, United Kingdom](https://www.pdfsearch.io/img/7820132b9465d2b07685d19d24704697.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2017-04-04 09:30:36
|
---|
130![Recommendations in Signed Social Networks Jiliang Tang‡ , Charu Aggarwal# , and Huan Liu† † Computer Science & Engineering, Arizona State University, Tempe, AZ, USA ‡ Recommendations in Signed Social Networks Jiliang Tang‡ , Charu Aggarwal# , and Huan Liu† † Computer Science & Engineering, Arizona State University, Tempe, AZ, USA ‡](https://www.pdfsearch.io/img/7cfcb6ede0d1ff2c4035110ec2238b14.jpg) | Add to Reading ListSource URL: gdac.uqam.caLanguage: English - Date: 2017-10-04 01:18:50
|
---|